Free shipping on all orders! No minimum purchase required.
Formal Verification of Object-Oriented Software
by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Dilian Gurov (Editor)
